
(compose(mu, bimap(id, mu)))((x, (y, z)));
